
#ifndef HOBBES_LANG_TYPEPREDS_STR_HPP_INCLUDED
#define HOBBES_LANG_TYPEPREDS_STR_HPP_INCLUDED

#include <hobbes/lang/tyunqualify.H>
#include <string>

namespace hobbes {

void initStrPredicates(const TEnvPtr&);

}

#endif

